منابع مشابه
Vaught's conjecture for superstable theories of finite rank
In [Vau61] Vaught conjectured that a countable first order theory has countably many or 2א0 many countable models. Here, the following special case is proved. Theorem. If T is a superstable theory of finite rank with < 2א0 many countable models, then T has countably many countable models. The basic idea is to associate with a theory a ∧ − definable group G (called the structure group) which con...
متن کاملLocally finite basic classical simple Lie superalgebras
In this work, we study direct limits of finite dimensional basic classical simple Lie superalgebras and obtain the conjugacy classes of Cartan subalgebras under the group of automorphisms.
متن کاملlocally modular lattices and locally distributive lattices
A locally modular (resp. locally distributive) lattice is a lattice with a congruence relation and each of whose equivalence class has sufficiently many elements and is a modular (resp. distributive) sublattice. Both the lattice of all closed subspaces of a locally convex space and the lattice of projections of a locally finite von Neumann algebra are locally modular. The lattice of all /^-topo...
متن کاملModular Basic Action Theories
In this paper we design a representation that allows writing more compact and modular basic action theories, than it is currently possible. Moreover, such representation also provides formal foundations for reasoning about actions in OpenCyc by using Reiter’s basic action theory formalism.
متن کاملModular Polynomials in Higher Rank
We study modular polynomials classifying cyclic isogenies between Drinfeld modules of arbitrary rank over the ring Fq[T ].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1986
ISSN: 0168-0072
DOI: 10.1016/0168-0072(86)90038-2